A Tool for Programming with Interaction Nets

This paper introduces INblobs, a visual editor and interpreter for interaction nets that is presently being developed at Minho. The editor is based on Blobs, a front-end for drawing and editing graph diagrams written with wxHaskell. The tool fills a gap in the community, since all the existing tools for interaction nets take as input textual descriptions of nets. INblobs includes a visual editor that allows users to edit both interaction nets and interaction rules; one then has a choice of reducing the net step by step within the tool, or else export a textual description to be given as input to other tools.